A Developer's Guide to Test Case Generation with Genetic Algorithms
dev.to·17h·
Discuss: DEV
⚡Proof Automation
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
AI in QA: how to use Generative AI in testing without creating technical debt
techradar.com·14h
⚡Proof Automation
Flag this post
Does your code match your spec?
kiro.dev·5d·
Discuss: Hacker News
🐛Fuzzing
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
⚡Proof Automation
Flag this post
Do You Know Where Your Load-Bearing Code Is?
codemanship.wordpress.com·11h·
Discuss: Hacker News
📏Code Metrics
Flag this post
Why Load Tests Lie: Harsh Truth About AI Agent Performance
thenewstack.io·1d
🔍Concolic Testing
Flag this post
Why GRC Programs Fail Without Continuous Cyber Risk Intelligence
securityscorecard.com·1d
🕵️Penetration Testing
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.com·16h·
Discuss: Hacker News
💧Liquid Types
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Verifying and testing timeliness constraints of Haskell programs
well-typed.com·2d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
Accelerate workflow development with enhanced local testing in AWS Step Functions
aws.amazon.com·3d
🔍Concolic Testing
Flag this post
Architecting Uncertainty: Designing Reliable Systems on Top of LLMs
medium.com·1d·
Discuss: Hacker News
🧩WASM Components
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·20h·
Discuss: Substack
🔩Systems Programming
Flag this post
CVE-2025-50165: Critical Flaw in Windows Graphics Component
zscaler.com·11h·
Discuss: Hacker News
💣ZIP Vulnerabilities
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·10h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
arxiv.org·2d
🔧Hardware Verification
Flag this post
Evolution Strategies at the Hyperscale
eshyperscale.github.io·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
I use AI to synthesize all my datasets now
thefulldatastack.substack.com·10h·
Discuss: Substack
🧠Query Planners
Flag this post